natural deduction
英 [ˈnætʃrəl dɪˈdʌkʃn]
美 [ˈnætʃrəl dɪˈdʌkʃn]
网络 自然演绎; 自然演绎法
双语例句
- During the deduction of blind signal separation algorithms, the commonly adopted steepest descent method, natural gradient method and Newton's method to minimize the contrast function may result in the complexity of the deduction.
在盲信号分离算法的推导过程中，常采用最速下降法、自然梯度和牛顿法等对代价函数进行最小化，推导过程复杂。 - The conditions satisfied for the existential instantiation and the universal generalization in the natural deduction system are described clear, whereas they are described rather vaguely in many textbooks on discrete mathematics.
清楚地叙述了自然推理系统中的存在量词消去规则和全称量词引入规则满足的条件，而这些条件在许多离散数学教科书中叙述得相当含糊。 - The author presents a relatively precise formula for calculating fluid frictional loss in a natural ventilation counter-pressure smoke stack after performing a strict theoretical deduction.
经过较为严密的理论推导，提出了比较精确的自然通风反压式烟囱中烟气和可变间隙通风道中空气的沿程摩阻损失的计算公式。 - This paper presented an automated reasoning algorithm for natural deduction system ( NR) of relevance propositional logic.
给出了相干命题逻辑自然推理系统NR的自动证明算法。 - Using natural deduction rules, Isabelle provides a generic framework for developing theorem proving systems.
Isabelle使用自然演绎规则进行推理，为定理证明系统的开发提供了一个通用的框架。 - First, an extended natural deduction system of the programming logic is established and then its completeness is proved.
以扩充的自然推理系统为基础，建立了程序逻辑的一个形式推导系统，并证明了它的完全性。 - N_l: a loose natural deduction system of temporal logic
NL：松弛时序逻辑自然推理系统 - A Non-Monotonic Heuristic Natural Deduction System Category B contains six types.
非单调启发式推理系统B类是推理； - Abstract operator logic and its natural deduction system
抽象算子逻辑及其自然演绎系统 - In view of enlightenment thinkers and natural law theorists, the social contract became the premise of deduction of civil society theory, civil society is generally understood as political society after human enter out of the state of nature.
在近代启蒙思想家与自然法学家那里，社会契约成为市民社会理论推演的前提，市民社会一般被理解为人类走出自然状态之后进入的政治社会。